Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
161	Is Bioinformatics Possible? Philosophical problems and opportunities Johan Nyström-Persson, Level Five Co., Ltd and Australia-China Centre for Wheat Improvement Add to Reading List Source URL: www.monomorphic.org Language: English - Date: 2016-02-21 03:39:18 Theoretical computer science Alan Turing Computability theory Mathematics Software engineering Formal methods Models of computation Turing machine Turing Lambda calculus Affymetrix Computer science
162	Developing Data Analytics Skills in Japan: Status and Challenge Hiroshi Maruyama, The Institute of Statistical Mathematics Abstract: Japan needs to develop data analytics talents quickly to catch up with the trends of us Add to Reading List Source URL: datascientist.ism.ac.jp Language: English - Date: 2014-08-04 02:44:00 Computing Information technology Business intelligence Business Formal sciences Big data Data management Technology forecasting Transaction processing Analytics Data science Aster Data Systems
163	Seven Deadly Sins of Contemporary Quantitative Political Analysis∗ Philip A. Schrodt Department of Political Science Pennsylvania State University University Park, PA 16802 Add to Reading List Source URL: 7ds.parusanalytics.com Language: English - Date: 2013-08-21 12:14:18 Statistics Science Knowledge Estimation theory Philosophy of science Regression analysis Formal sciences Scientific method Prediction Linear regression Statistical inference Economic model
164	Structured Descriptions of Roles, Activities, and Procedures in the Roman Constitution Yoonmi Chu and Robert B. Allen Yonsei University, Seoul, Korea and Abstract. A highly structure Add to Reading List Source URL: ircdl2015.unibz.it Language: English - Date: 2015-01-24 10:40:03 Ontology Information science Knowledge representation Technical communication Information Knowledge Semantic Web Upper ontology Basic Formal Ontology Formal ontology Web Ontology Language Descriptive Ontology for Linguistic and Cognitive Engineering
165	Tenure-Track or Tenured Faculty Positions in Big-Data Analytics and Information Systems at UCL School of Management The UCL School of Management invites applications for tenure-track or tenured positions in Big-Data Anal Add to Reading List Source URL: www.misq.org Language: English - Date: 2015-12-08 16:45:12 Business intelligence Business Information technology Economy Formal sciences Business analytics Data warehousing Management science UCL School of Management Analytics University College London Master of Science in Quality Management and Analytics
166	Microsoft Word - usable-verificationdocx Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-23 23:32:14 Software engineering Software quality Formal methods Quality Theoretical computer science Logic in computer science Software testing Food safety Verification and validation Reliability engineering Software verification Runtime verification
167	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-12-29 13:37:29 Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics
168	Midwest Big Data Hub Accelerating the Big Data Innovation Ecosystem Ed Seidel PI (Illinois) Add to Reading List Source URL: www.smart-comp.org Language: English - Date: 2016-05-20 09:04:53 Computing Information technology Business intelligence Information Data management Information science Formal sciences Big data Data science Analytics Business analytics Smart city
169	Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-16 05:12:39 Mathematical logic Logic Theoretical computer science Automated theorem proving Formal methods Logic in computer science Electronic design automation Craig interpolation Interpolation Satisfiability modulo theories Unit propagation Resolution
170	How Granularity Issues Concern Biomedical Ontology Integration Stefan SCHULZ a,1, Martin BOEKER a and Holger STENZHORN a,b a Institute of Medical Biometry and Medical Informatics, University Medical Center Freiburg, Germ Add to Reading List Source URL: www2.imbi.uni-freiburg.de Language: English - Date: 2008-05-23 03:57:03 Ontology Information science Knowledge representation Technical communication Information Cognitive science Semantic Web Upper ontology Basic Formal Ontology Formal ontology Web Ontology Language General formal ontology

UPDATE